#include <linux/task_work.h>

int foo(void) {
       return TWA_SIGNAL_NO_IPI;
}
